Upgrading the axiomatic system to n-dimensional space Milica Stojanovi´c University of Belgrade, Faculty of Organizational Sciences, Belgrade, SERBIA []

Source URL: tesla.pmf.ni.ac.rs

VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya.

Source URL: press.princeton.edu

• Philosophers of mathematics
• Formal systems
• Giuseppe Peano
• Peano axioms
• Richard Dedekind
• Henri Poincaré
• Axiomatic system
• Axiom
• Philosophy of mathematics
• Mathematics
• Mathematical logic
• Number theorists

Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification –

Source URL: www.axiomaticlanguage.org

• Formal systems
• Metalogic
• Formal methods
• Function
• Axiom
• Lisp
• Mathematical proof
• Axiomatic system
• Mathematics
• Logic
• Mathematical logic

PDF Document

Source URL: www.sscnet.ucla.edu

• Formal systems
• Concepts
• Mathematical logic
• Axiomatic system
• Axiom
• Mathematical proof
• Complexity
• Theory
• Economic model
• Mathematics
• Logic
• Structure

1 The Phenomenology of Mathematical Beauty Gian-Carlo Rota Whereas painters and musicians are likely to be embarrassed by references

Source URL: www.liceogiuliocesare.it

• Philosophy of mathematics
• Formal systems
• Elementary mathematics
• Mathematical beauty
• Mathematical proof
• Theorem
• Mathematician
• Axiomatic system
• Axiom
• Mathematics
• Logic
• Mathematical logic

http://www.catb.org/~esr/writings/utility-of-math/

Source URL: www.nuceng.ca

• Formal systems
• Mathematical logic
• Formalism
• Mathematical object
• Geometry
• Axiomatic system
• Mathematical proof
• Set theory
• Mathematical model
• Mathematics
• Philosophy of mathematics
• Abstraction

Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology

Source URL: www.nik.no

• Formal systems
• Model theory
• Propositional calculus
• Boolean algebra
• Modal logic
• Resolution
• Common knowledge
• Axiomatic system
• Constructible universe
• Logic
• Mathematical logic
• Mathematics

Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, Kentucky

Source URL: www.axiomaticlanguage.org

• Lisp programming language
• Data types
• Type theory
• Formal languages
• M-expression
• Lisp
• S-expression
• Type system
• Variable
• Software engineering
• Computing
• Programming language theory

Axiomatic Language http://www.axiomaticlanguage.org/ Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013

Source URL: www.axiomaticlanguage.org

• Computing
• S-expression
• Function
• Axiom
• Expression
• Type system
• Type theory
• CAL Actor Language
• Regular expression
• Mathematics
• Lisp programming language
• Logic

Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal p

Source URL: www.axiomaticlanguage.org

• Computer programming
• Formal specification
• Programming language
• Specification
• C
• Software development process
• Ada
• Algorithm
• Axiomatic system
• Computing
• Formal methods
• Software engineering